Titelbild: Methylierung nicht‐aktivierter Alkene mit modifizierten Methyltransferasen zur Diversifizierung von Terpenoiden (Angew. Chem. 26/2023)

Vergleich von Verfahren zur Lösung von Entscheidungsproblemen mit mehrfacher Zielsetzung

Zur Spezifikation von Komponenten der Informationssystementwicklung mit Softwareverträgen

In diesem Beitrag wird ein methodischer Rahmen für die Spezifikation von Komponenten beschrieben, der eine wichtige Voraussetzung für die Schaffung von Werkzeugen zur Unterstützung der betrieblichen Informationssystementwicklung mit Komponenten darstellt. Er basiert auf dem Konzept des Softwarevertrags und erweitert dieses durch die Einführung von Dienstund Kompositionsverträgen. Mit dem Spezif...

Zur Integration von Struktur- und Verhaltensmodellierung mit OCL

Das werkzeuggestützte Validieren von in der Unified Modeling Language (UML) spezifizierten Modellen ist zu einem wichtigen Forschungszweig in der modellgetriebenen Softwareentwicklung geworden. Durch eine frühzeitige Validierung sollen Designfehler bereits zu Beginn des Entwicklungsprozesses aufgedeckt werden, um spätere aufwändige Korrekturen zu vermeiden. Herkömmliche Werkzeuge in diesem Kont...

Lernsystem Thermopr@ctice zur Berechnung von Übungsaufgaben mit Computer-Algebrasystemen

Das Lernsystem Thermopr@ctice stellt eine internetgestützte Lernumgebung für das Berechnen von Übungsaufgaben mit dem Computer-Algebrasystem Mathcad dar. Die veränderte Arbeitsweise des Lernenden besteht darin, das herkömmliche Arbeitsblatt durch den Mathcad-Arbeitsbildschirm zu ersetzen und die Aufgabenlösung unmittelbar auf diesem zu erledigen. Dem Lernenden werden die Übungsaufgaben – hier i...

Intervallbasierte Berechnungsverfahren zur Beschreibung von wahrscheinlichkeitstheoretischen Modellen mit Unsicherheit